Lecture symbolique d'un espace insulaire

Représentation Symbolique de Trajectoires Géolocalisées

RESUME. Énormément de trajectoires géolocalisées sont produites et disponibles, mais leur exploitation pour en tirer des informations intéressantes reste difficile. L'obstacle qui nous intéresse ici est la mauvaise qualité de certaines de ces données : échantillonnage très irrégulier et précision médiocre. Nous proposons de les transposer dans des domaines symboliques pour pouvoir effectuer des...

Complexité en espace de l'exploration de graphes

Graph Exploration is a problem motivated by several aspects of theoretical computer science, including logic and computational complexity. It has also numerous applications in robotics. In all these contexts, the amount of memory used by the mobile entity (robot, finite automaton, etc.) performing exploration is a key parameter. In this thesis, we study in depth the space complexity of graph ex...

Autojection et compilateurs procedure formelle symbolique

Test Symbolique De Services Web Composites

Web services are gaining industry-wide acceptance and usage by fostering the development of distributed applications out of the composition of simpler entities called services. In complement to verification, testing allows one to check for the correctness of a binary (no source code) service implementation with reference to a specification. In this thesis, we propose black box conformance testi...

Espace de Services : Vers une formalisation des Systèmes d'Information Pervasifs

Pervasive Information Systems (PIS) represent the next generation of Information Systems (IS). They differ from both traditional IS and pervasive systems: from the former by the heterogeneity of the pervasive environment to which they belong, and from the latter, by the fact that they must integrate an organization and its strategies. In this paper, we propose a conceptual framework, called ser...